Dynamic software updating - PDFSEARCH.IO - Document Search Engine

Dynamic software updating
Results: 21

#	Item
11	Ksplice: Automatic Rebootless Kernel Updates Jeff Arnold and M. Frans Kaashoek Massachusetts Institute of Technology {jbarnold, kaashoek}@mit.edu Abstract Add to Reading List Source URL: ksplice.oracle.com Language: English - Date: 2015-05-14 08:35:41 Ksplice Linux kernel Kernel patch Kernel Rootkit Patch Loadable kernel module Entry point Operating system Architecture of Windows NT Dynamic software updating KGraft
12	Kitsune: Efficient, General-purpose Dynamic Software Updating for C Christopher M. Hayden Edward K. Smith Michail Denchev Michael Hicks Jeffrey S. Foster Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2012-08-11 17:11:07 C++ C programming language Data types Subroutines Threads Dynamic Software Updating C++ classes Sizeof Typedef Software engineering Computing Computer programming
13	Kitsune: Efficient, General-Purpose Dynamic Software Updating for C Michael Hicks work with Christopher M. Hayden, Ted K. Smith, Michail Denchev, Karla Saur, and Jeffrey Foster Add to Reading List Source URL: www.cyber.umd.edu Language: English - Date: 2013-05-18 02:50:21 Dynamic Software Updating System administration Patch Apple Software Update Oracle Database Oracle Corporation X Window System Stat Software System software Computing
14	ABSTRACT Title of dissertation: PRACTICAL DYNAMIC SOFTWARE UPDATING Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2008-08-28 08:30:09 Software Programming language theory Programming language Ginseng Type system Stat C Computing Dynamic Software Updating System administration
15	ABSTRACT Title of dissertation: CLEAR, CORRECT, AND EFFICIENT DYNAMIC SOFTWARE UPDATES Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2012-09-10 20:37:24 Kitsune Correctness KeY Formal methods Applied mathematics Software Dynamic Software Updating System administration Theoretical computer science
16	Kitsune: Efficient, General-purpose Dynamic Software Updating for C Christopher M. Hayden Edward K. Smith Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2012-08-06 13:50:25 C++ C programming language Data types Subroutines Threads Dynamic Software Updating C++ classes Sizeof Typedef Software engineering Computing Computer programming
17	Practical Dynamic Software Updating for C Iulian Neamtiu, Michael Hicks Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2006-03-24 08:22:16 C programming language Type theory Data types C++ Procedural programming languages Dynamic Software Updating Stat Typedef Struct Software engineering Computing Programming language theory
18	State Transfer for Clear and Efficient Runtime Updates Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2011-01-04 17:04:22 C POSIX library Dynamic Software Updating System administration Ekiden Stat Patch Stack Linux kernel Serialization System software Software Computing
19	Formalizing Dynamic Software Updating Gavin Bierman† † Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2007-11-14 07:07:40 Applied mathematics Logic in computer science Formal methods Denotational semantics Dynamic Software Updating Module Lambda calculus Combinatory logic Theoretical computer science Models of computation Mathematics
20	A Theory of Dynamic Software Updates A thesis submitted for the Degree of Doctor in Philosophy, by Gareth Paul Stoyle of Hughes Hall. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-04-19 03:38:21 Theoretical computer science Grammar Dynamic Software Updating System administration Lambda calculus Thesis Programming language Semantics Linguistics Knowledge Education Models of computation